home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / compiler / errors.ml < prev    next >
Encoding:
Text File  |  1993-09-24  |  672 b   |  34 lines  |  [TEXT/MPS ]
  1. (* Printing of non-type-related errors *)
  2.  
  3. #open "misc";;
  4. #open "const";;
  5. #open "globals";;
  6. #open "location";;
  7.  
  8. let print_qualid q =
  9.   print_string q.qual; print_string "__"; print_string q.id
  10. ;;
  11.  
  12. let prerr_qualid q =
  13.   prerr_string q.qual; prerr_string "__"; prerr_string q.id
  14. ;;
  15.  
  16. let print_globalref = function
  17.     GRname s -> print_string s
  18.   | GRmodname q -> print_qualid q
  19. ;;
  20.  
  21. let prerr_globalref = function
  22.     GRname s -> prerr_string s
  23.   | GRmodname q -> prerr_qualid q
  24. ;;
  25.  
  26. let unbound_err kind name loc =
  27.   prerr_location loc;
  28.   prerr_begline " ";
  29.   prerr_string kind; prerr_string " ";
  30.   prerr_globalref name;
  31.   prerr_endline " is unbound.";
  32.   raise Toplevel
  33. ;;
  34.